This paper examines the problem of introducing advanced forms offault-tolerance via reconfiguration into safety-critical avionic systems. Thisis required to enable increased availability after fault occurrence indistributed integrated avionic systems(compared to static federated systems).The approach taken is to identify a migration path from current architecturesto those that incorporate re-configuration to a lesser or greater degree. Otherchallenges identified include change of the development process; incrementaland flexible timing and safety analyses; configurable kernels applicable forsafety-critical systems.
展开▼